php - 为什么 get_headers() 返回 400 Bad request，而 CLI curl 返回 200 OK？